Nuprl Definition : atomn def
11,40
postcript
pdf
atom{$n:n} is Primitive
latex
origin